Baire reductions and good Borel reducibilities
نویسنده
چکیده
In [8] we have considered a wide class of “well-behaved” reducibilities for sets of reals. In this paper we continue with the study of Borel reducibilities by proving a dichotomy theorem for the degree-structures induced by good Borel reducibilities. This extends and improves the results of [8] allowing to deal with a larger class of notions of reduction (including, among others, the Baire class ξ functions).
منابع مشابه
Beyond Borel-amenability: Scales and superamenable reducibilities
We analyze the degree-structure induced by large reducibilities under the Axiom of Determinacy. This generalizes the analysis of Borel reducibilities given in [1], [6] and [5] e.g. to the projective levels.
متن کاملBaire Measurable Paradoxical Decompositions via Matchings
We show that every locally finite bipartite Borel graph satisfying a strengthening of Hall’s condition has a Borel perfect matching on some comeager invariant Borel set. We apply this to show that if a group acting by Borel automorphisms on a Polish space has a paradoxical decomposition, then it admits a paradoxical decomposition using pieces having the Baire property. This strengthens a theore...
متن کاملA Comparison of Weak Completeness Notions 1 Extended
We compare the weak completeness notions for E in the sense of Lutz's resource-bounded measure theory 11] with respect to the standard polynomial time reducibilities. Our results parallel results for classical completeness by Watanabe 17] and others. We show that the weak completeness notions for 1-query reductions coincide: A set is weakly complete for E under 1-truth-table reducibility ii it ...
متن کاملOn Borel equivalence relations in generalized Baire space
We construct two Borel equivalence relations on the generalized Baire space κ, κ = κ > ω, with the property that neither of them is Borel reducible to the other. A small modification of the construction shows that the straightforward generalization of the Glimm-Effros dichotomy fails. By λ we denote the set of all functions κ→ λ. We define a topology to (λ) by letting the sets N(η1...,ηn) = {(f...
متن کاملWhen are Borel functions Baire functions ?
The following two theorems give the flavour of what will be proved. THEOREM. Let Y be a complete metric space. Then the families of first Baire class functions and of first Borel class functions from [0, 1] to Y coincide if and only if Y is connected and locally connected. THEOREM. Let Y be a separable metric space. Then the families of second Baire class functions and of second Borel class fun...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 75 شماره
صفحات -
تاریخ انتشار 2010